Weakly o-minimal structures and real closed fields
نویسندگان
چکیده
منابع مشابه
Weakly O-minimal Structures and Real Closed Fields
A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field ...
متن کاملWeakly o-minimal nonvaluational structures
A weakly o-minimal structure M = (M,≤,+, . . .) expanding an ordered group (M,≤, +) is called non-valuational iff for every cut 〈C,D〉 of (M,≤) definable in M, we have that inf{y − x : x ∈ C, y ∈ D} = 0. The study of non-valuational weakly o-minimal expansions of real closed fields carried out in [MMS] suggests that this class is very close to the class of o-minimal expansions of real closed fie...
متن کاملSaturated O-minimal Expansions of Real Closed Fields
In [KKMZ02] the authors gave a valuation theoretic characterization for a real closed field to be κ-saturated, for a cardinal κ ≥ א0. In this paper, we generalize the result, giving necessary and sufficient conditions for certain o-minimal expansion of a real closed field to be κ-saturated.
متن کاملOn N0-Categorical Weakly o-Minimal Structures
@0-categorical o-minimal structures were completely described in 4], and are essentially built up from copies of the rationals as an ordered set by`cutting and copying'. Here we investigate the possible structures which an @0-categorical weakly o-minimal set may carry, and nd that there are some rather more interesting (and not o-minimal) examples. We show that even here the possibilities are l...
متن کاملCompletion and Differentiability in Weakly O-minimal Structures
Let R = (R,<,+, ·, . . . ) be a non-valuational weakly o-minimal real closed field, I a definable convex open subset of R and f : I → R a definable function. We prove that {x ∈ I : f ′(x) exists in R} is definable and f ′ is definable if f is differentiable.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2000
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-00-02633-7